Equivalence transformation for the filtration problem
نویسندگان
چکیده
منابع مشابه
the algorithm for solving the inverse numerical range problem
برد عددی ماتریس مربعی a را با w(a) نشان داده و به این صورت تعریف می کنیم w(a)={x8ax:x ?s1} ، که در آن s1 گوی واحد است. در سال 2009، راسل کاردن مساله برد عددی معکوس را به این صورت مطرح کرده است : برای نقطه z?w(a)، بردار x?s1 را به گونه ای می یابیم که z=x*ax، در این پایان نامه ، الگوریتمی برای حل مساله برد عددی معکوس ارانه می دهیم.
15 صفحه اولOn the Equivalence Problem for
On the one hand, the inclusion problem for nonerasing and erasing pattern languages is undecidable; see JSSY95]. On the other hand, the language equivalence problem for NE-pattern languages is trivially decidable (see Ang80a]) but the question of whether the same holds for E-pattern languages is still open. It has been conjectured by Jiang et al. JSSY95] that the language equivalence problem fo...
متن کاملthe problem of divine hiddenness
این رساله به مساله احتجاب الهی و مشکلات برهان مبتنی بر این مساله میپردازد. مساله احتجاب الهی مساله ای به قدمت ادیان است که به طور خاصی در مورد ادیان ابراهیمی اهمیت پیدا میکند. در ادیان ابراهیمی با توجه به تعالی خداوند و در عین حال خالقیت و حضور او و سخن گفتن و ارتباط شهودی او با بعضی از انسانهای ساکن زمین مساله ای پدید میاید با پرسشهایی از قبیل اینکه چرا ارتباط مستقیم ویا حداقل ارتباط وافی به ب...
15 صفحه اولAdS/CFT EQUIVALENCE TRANSFORMATION
We show that any conformal field theory in d-dimensional Minkowski space, in a phase with spontaneously broken conformal symmetry and with the dilaton among its fields, can be rewritten in terms of the static gauge (d − 1)-brane on AdS(d+1) by means of an invertible change of variables. This nonlinear holographic transformation maps the Minkowski space coordinates onto the brane worldvolume one...
متن کاملOn the Equivalence Problem for Attribute Systems
The authors have shown in Courcelle et al. (1982) that certain attribute systems called strongly noneireular can be translated into recursive program schemes taking derivation trees as arguments and called primitive reeursive schemes with parameters. In particular, the equivalence problem for strongly noncircular attribute systems reduces to the equivalence problem for the latter class of progr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers & Mathematics with Applications
سال: 1999
ISSN: 0898-1221
DOI: 10.1016/s0898-1221(99)00071-1